- semidecision
- половинчатое решение, проф. полурешение (напр., существующее для значения "истина", но не известное для значения "ложь")
English-Russian dictionary of computer science and programming. 2013.
English-Russian dictionary of computer science and programming. 2013.
semidecision — noun Used attributively to describe a technique in which the necessary conditions for a state are identified and then a proof that these conditions cannot be satisfied is produced … Wiktionary